/LMAR=0/XLINE=3/FONT#3=BASB30/FONT#2=BASI30/FONT#1=BDR30/FONT#0=BDR30



␈↓ ↓H␈↓␈↓ ↓x␈↓αreada␈↓↓[␈↓αu␈↓↓, ␈↓αl␈↓↓] ←
␈↓ ↓H␈↓↓␈↓ α_␈↓βif␈↓↓ ␈↓βn ␈↓αu␈↓↓ ␈↓βthen␈↓↓ ␈↓αrev1␈↓↓[␈↓αl␈↓↓, ERROR] . NIL
␈↓ ↓H␈↓↓␈↓ α_␈↓βelse if␈↓↓ ␈↓βa ␈↓αu␈↓↓ ␈↓βeq ␈↓↓RP ␈↓βthen␈↓↓ ␈↓αreverse␈↓↓ ␈↓αl␈↓↓ . ␈↓βd ␈↓αu
␈↓ ↓H␈↓α␈↓ α_␈↓βelse if␈↓↓ ␈↓βa ␈↓αu␈↓↓ ␈↓βeq ␈↓↓LP ␈↓βthen␈↓↓ {␈↓αreada␈↓↓[␈↓βd ␈↓αu␈↓↓, NIL]}[λ␈↓αw␈↓↓. ␈↓αreada␈↓↓[␈↓βd ␈↓αw␈↓↓, ␈↓βa ␈↓αw␈↓↓ . ␈↓αl␈↓↓]]
␈↓ ↓H␈↓↓␈↓ α_␈↓βelse if␈↓↓ ␈↓βa ␈↓αu␈↓↓ ␈↓βeq ␈↓↓DOT ␈↓βthen␈↓↓ {␈↓αreada␈↓↓[␈↓βd ␈↓αu␈↓↓, NIL]}[λ␈↓αw␈↓↓. ␈↓αrev1␈↓↓[␈↓αl␈↓↓, ␈↓βaa ␈↓αw␈↓↓] . ␈↓βd ␈↓αw␈↓↓]
␈↓ ↓H␈↓↓␈↓ α_␈↓βelse␈↓↓ ␈↓αreada␈↓↓[␈↓βd ␈↓αu␈↓↓, ␈↓βa ␈↓αu␈↓↓ . ␈↓αl␈↓↓]



␈↓ ↓H␈↓↓␈↓ ↓x␈↓αreadb␈↓↓ ␈↓αu␈↓↓ ← ␈↓βif␈↓↓ ␈↓βa ␈↓αu␈↓↓ ␈↓βeq ␈↓↓LP ␈↓βthen␈↓↓ ␈↓βa ␈↓αreada␈↓↓[␈↓βd ␈↓αu␈↓↓, NIL] ␈↓βelse␈↓↓ ␈↓βa ␈↓αu



␈↓ ↓H␈↓α␈↓ ↓xrev1␈↓↓[␈↓αu␈↓↓, ␈↓αv␈↓↓] ← ␈↓βif␈↓↓ ␈↓βn ␈↓αu␈↓↓ ␈↓βthen␈↓↓ ␈↓αv␈↓↓ ␈↓βelse␈↓↓ ␈↓αrev1␈↓↓[␈↓βd ␈↓αu␈↓↓, ␈↓βa ␈↓αu␈↓↓ . ␈↓αv␈↓↓]



␈↓ ↓H␈↓↓␈↓ ↓x␈↓αprina␈↓↓[␈↓αe␈↓↓, ␈↓αl␈↓↓] ← ␈↓βif␈↓↓ ␈↓βat ␈↓αe␈↓↓ ␈↓βthen␈↓↓ ␈↓αe␈↓↓ . ␈↓αl␈↓↓ ␈↓βelse␈↓↓ LP . ␈↓αprina␈↓↓[␈↓βa ␈↓αe␈↓↓, DOT . ␈↓αprina␈↓↓[␈↓βd ␈↓αe␈↓↓, RP . ␈↓αl␈↓↓]]



␈↓ ↓H␈↓↓␈↓ ↓x␈↓αprinb␈↓↓[␈↓αe␈↓↓, ␈↓αl␈↓↓] ←
␈↓ ↓H␈↓↓␈↓ α_␈↓βif␈↓↓ ␈↓βat ␈↓αe␈↓↓ ␈↓βthen␈↓↓ ␈↓αe␈↓↓ . ␈↓αl
␈↓ ↓H␈↓α␈↓ α_␈↓βelse␈↓↓ LP
␈↓ ↓H␈↓↓␈↓ αR. [␈↓βif␈↓↓ ␈↓βn d ␈↓αe␈↓↓ ␈↓βthen␈↓↓ ␈↓αprinb␈↓↓[␈↓βa ␈↓αe␈↓↓, RP . ␈↓αl␈↓↓]
␈↓ ↓H␈↓↓␈↓ αl␈↓βelse if␈↓↓ ␈↓βat d ␈↓αe␈↓↓ ␈↓βthen␈↓↓ ␈↓αprinb␈↓↓[␈↓βa ␈↓αe␈↓↓, DOT . [␈↓βd ␈↓αe␈↓↓ . [RP . ␈↓αl␈↓↓]]]
␈↓ ↓H␈↓↓␈↓ αl␈↓βelse␈↓↓ ␈↓αprinb␈↓↓[␈↓βa ␈↓αe␈↓↓, ␈↓βd ␈↓αprinb␈↓↓[␈↓βd ␈↓αe␈↓↓, ␈↓αl␈↓↓]]]